Description Logics based Formalization of Wh-Queries
نویسندگان
چکیده
The problem of Natural Language Query Formalization (NLQF) is to translate a given user query in natural language (NL) into a formal language ( ) so that the semantic interpretation has equivalence with the NL interpretation. Formalization of NL queries enables logic based reasoning during information retrieval, database query, question-answering, etc. Formalization also helps in Web query normalization and indexing, query intent analysis, etc. In this paper we are proposing a Description Logics based formal methodology for wh-query intent (also called desire) identification and corresponding formal translation. We evaluated the scalability of our proposed formalism using Microsoft Encarta 98 query dataset and OWL-S TC v.4.0 dataset.
منابع مشابه
Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis
We devise a general framework for formalizing Dynamic Systems centered around a Description Logic knowledge base. Our framework is parametric w.r.t. both the description logic and the progression mechanism. For such kinds of systems, we provide general decidability results for verification and adversarial synthesis of first-order μ-calculus properties under a natural assumption which we call “s...
متن کاملClassic planning for mobile robots
The paper describes an approach to reasoning about actions and plan generation within the framework of description logics Our proposal is considered classic since it is in the style of deductive planning and it relies upon the reasoning capabilities of description logics that are realized in the system Classic From an epistemological point of view our approach is based on the formalization of a...
متن کاملAnalysis of Semantic Networks By Means of Description Logics
The formalization of heterogeneous semantic networks by means of description logics (DL) is considered in this paper. DL is extended by the addition of some new relations from heterogeneous semantic networks.
متن کاملMoving a Robot: The KR&R Approach at Work
The paper describes an approach to reason ing about actions and plan generation within the framework of description logics From an epistemological viewpoint our approach is based on the formalization of actions given by dynamic logics but we exploit their corre spondence with description logics to turn the formalization into an actual implementation In particular we are able to carefully weaken...
متن کاملMoving a Robot : The KR & R Approach
The paper describes an approach to reasoning about actions and plan generation within the framework of description logics. From an epistemological viewpoint, our approach is based on the formalization of actions given by dynamic logics, but we exploit their correspondence with description logics to turn the formalization into an actual implementation. In particular, we are able to carefully wea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1312.6948 شماره
صفحات -
تاریخ انتشار 2013